-- MAIN == 4
DEF MAIN:nat == IF true THEN 4 ELSE 7 FI
